signature PALDOC_STRUCTS =
sig
  structure Ast : AST
  structure Types : TYPES
end

signature PALDOC =
sig
  include PALDOC_STRUCTS
  
  val paldoc : Ast.exdecnode -> unit
end
